🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Type Systems
Type Inference, Static Analysis, Dependent Types, Hindley-Milner
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de
·
2h
·
Discuss:
Hacker News
⚙️
Language Implementation
Polymorphic symmetric multiple dispatch with variance
dl.acm.org
·
11h
·
Discuss:
Hacker News
🔬
PLT
Issue 489
haskellweekly.news
·
1h
·
Discuss:
Hacker News
⚙️
Language Implementation
Object Reorientation: Generic Functions
gigamonkeys.com
·
13h
·
Discuss:
Hacker News
🔬
PLT
Effects as Capabilities in Scala
nrinaudo.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming
The bloat of edge-case first libraries
43081j.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming
Program management update — August 2025
blog.rust-lang.org
·
13h
·
Discuss:
Hacker News
,
r/rust
💻
Programming
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai
·
52m
·
Discuss:
Hacker News
🖥️
Computer Architecture
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com
·
6h
·
Discuss:
Substack
🔬
PLT
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
🏗️
Compiler Design
Context Pruning in Conversational Agent
poonai.xyz
·
1d
·
Discuss:
Hacker News
⚙️
Language Implementation
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com
·
6h
·
Discuss:
Hacker News
💻
Programming
The Little Book of Everything
github.com
·
3d
·
Discuss:
Hacker News
🏗️
Compiler Design
Sharing what I learned about Rust functions and closures
blog.cuongle.dev
·
21h
·
Discuss:
Hacker News
,
r/rust
💻
Programming
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai
·
20h
·
Discuss:
Hacker News
,
r/LocalLLaMA
🏗️
Compiler Design
Rewriting Dataframes for MicroHaskell
mchav.github.io
·
3d
·
Discuss:
Hacker News
⚙️
Language Implementation
The subjective experience of coding in different programming languages
interconnected.org
·
1d
·
Discuss:
Hacker News
🧰
Developer Ergonomics
An Inline Cache Isn't Just a Cache
mgaudet.ca
·
16h
·
Discuss:
Hacker News
🚀
JIT Compilation
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org
·
7h
·
Discuss:
Lobsters
,
Hacker News
🏗️
Compiler Design
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com
·
15h
·
Discuss:
Hacker News
🔤
Text Algorithms
Loading...
Loading more...
Page 2 »